package com.example;


import java.util.ArrayList;
import java.util.List;

/**
 * 泛型的继承和通配符
 */
public class GenericExtends {
    public static void main(String[] args) {
        Object o  = new String("xx");

        //错误, 泛型没有继承性
//        List<Object> list = new ArrayList<String>();


        ArrayList<Object> list1 = new ArrayList<>();
        ArrayList<String> list2 = new ArrayList<>();
        List<AA> list3 = new ArrayList<>();
        List<BB> list4 = new ArrayList<>();
        List<CC> list5 = new ArrayList<>();


        //如果是List<?> c, 可以表示任意类型都可以接收
        printCollection1(list1);
        printCollection1(list2);
        printCollection1(list3);
        printCollection1(list4);
        printCollection1(list5);

        //<? extends AA>表明泛型可以是AA或者AA的子类, 规定了泛型的下限
//        printCollection2(list1);//错误, Object不是AA的子类
//        printCollection2(list2);//错误, String不是AA的子类
        printCollection2(list3);
        printCollection2(list4);
        printCollection2(list5);

        //<? extends AA>表明泛型可以是AA或者AA的父类, 不限于直接父类, 规定了泛型的上限
        printCollection3(list1);
//        printCollection3(list2);//错误, String不是AA的父类
        printCollection3(list3);
//        printCollection3(list4);//错误, BB不是AA的父类
//        printCollection3(list5);//错误, CC不是AA的父类

    }

    //这里的泛型<?>表明任何的类型都可以接收
    public static void printCollection1(List<?> c){
        for (Object o : c) {
            System.out.println(o);
        }
    }

    //<? extends AA>表明泛型可以是AA或者AA的子类, 规定了泛型的下限
    public static void printCollection2(List<? extends AA> c){
        for (Object o : c) {
            System.out.println(o);
        }
    }
    //<? extends AA>表明泛型可以是AA或者AA的父类, 不限于直接父类, 规定了泛型的上限
    public static void printCollection3(List<? super AA> c){
        for (Object o : c) {
            System.out.println(o);
        }
    }
}

class AA {
}

class BB extends AA {
}

class CC extends BB {
}

